Fixed points without completeness
نویسندگان
چکیده
منابع مشابه
Quasi-completeness and functions without fixed-points
Q-reducibility is a natural generalization of many-one reducibility (m-reducibility): if A ≤m B via a computable function f(x), then A ≤Q B via the computable function g(x) such that Wg(x) = {f(x)}. Also this reducibility is connected with enumeration reducibility (e-reducibility) as follows: if A ≤Q B via a computable function g(x), then ω −A ≤e ω −B via the c. e. set W = {〈x, 2y〉 | x ∈ ω, y ∈...
متن کاملNew Existence Results and Generalizations for Coincidence Points and Fixed Points without Global Completeness
and Applied Analysis 3 (w3) for any ε > 0, there exists δ > 0 such that p(z, x) ≤ δ and p(z, y) ≤ δ imply d(x, y) ≤ ε. A function p : X×X → [0,∞) is said to be a τ-function [5, 10, 14, 15, 27–29], first introduced and studied by Lin and Du, if the following conditions hold: (τ1) p(x, z) ≤ p(x, y) + p(y, z) for all x, y, z ∈ X; (τ2) if x ∈ X and {yn} in X with limn→∞yn = y such that p(x, yn) ≤ M...
متن کاملMetrical common fixed point theorems without completeness and closedness
* Correspondence: [email protected] Department of Mathematics and Humanities, S.V. National Institute of Technology, Surat, Gujarat, India Full list of author information is available at the end of the article Abstract In this article, we point out that some recent results proved in Babu and Alemayehu are corollaries of the main result of an article due to Ali and Imdad. However, combinin...
متن کاملFixed points on abstract structures without the equality test
In this paper we present a study of definability properties of fixed points of effective operators on abstract structures without the equality test. In particular we prove that Gandy theorem holds for the reals without the equality test. This provides a useful tool for dealing with recursive definitions using Σ-formulas.
متن کاملFixed Points of Commuting Holomorphic Maps without Boundary Regularity
We identify a class of domains of C in which any two commuting holomorphic self-maps have a common fixed point.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00170-n